up to isomorphism
ja:
同型を除いて
…
isomorphism
↔️ ja:
同型
abbr: "
up to iso.
"
iso. =
isomorphism
（ja:
同型
）
定義
つまり、ここでは
同値関係
に
同型
を採用している。
ref.
違いを除いて - Wikipedia
「…（の違い）を除いて…」
https://ja.wikipedia.org/wiki/違いを除いて#より数学的な例
圏論と普遍性
「同型を除いて一意に存在する」
Up to - Wikipedia
#圏論